In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
81	Motion Planning For Steerable Needles in 3D Environments with Obstacles Using Rapidly-Exploring Random Trees and Backchaining Jijie Xu1 , Vincent Duindam2, Ron Alterovitz1,3 , and Ken Goldberg1,2 1. Department of IEOR, U Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2008-07-03 19:37:35 Search algorithms Robot kinematics Robot navigation Robot control Rapidly-exploring random tree Motion planning Kinodynamic planning Linear programming Nonholonomic system Nearest neighbor search
82	Retrospective Protection utilizing Binary Rewriting Sergej Proskurin, Fatih Kilic, Claudia Eckert1 Abstract: Buffer overflow vulnerabilities present a common threat. To encounter this issue, operating system support and Add to Reading List Source URL: www.sec.in.tum.de Language: English - Date: 2015-06-23 06:38:59 Computing Software Software bugs Programming language implementation Subroutines Portable Executable Position-independent code Object file Dynamic linker Stack buffer overflow Buffer overflow Return-to-libc attack
83	Dual Ecological Measures of Focus in Software Development Daryl Posnett Univ. of California, Davis Add to Reading List Source URL: macbeth.cs.ucdavis.edu Language: English - Date: 2012-11-28 16:42:10 Software Computer architecture Network theory Networks Information theory Entropy Source lines of code Centrality Concurrent Versions System Modular programming Modularity Package manager
84	CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:12:42 Theoretical computer science Automated theorem proving Logic in computer science Proof assistants Formal methods Isabelle Type theory HOL Automated reasoning Computer algebra system Vienna Development Method Software development
85	COMP 520 FallType checking (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:49 Type theory Symbol Type system Mathematical logic Logic in computer science Theoretical computer science Automated theorem proving Logic programming
86	Cloudthink: a scalable secure platform for mirroring transportation systems in the cloud Erik Wilhelm1, Joshua Siegel2, Simon Mayer3, Leyna Sadamori4, Sohan Dsouza5, Chi-Kin Chau6, Sanjay Sarma7 1Singapore University of Add to Reading List Source URL: www.vs.inf.ethz.ch Language: English - Date: 2015-12-25 06:24:24 Global Positioning System Automotive software OpenXC On-board diagnostics Telematics Data logger Intelligent transportation system Application software Cloud computing Database Application programming interface Vehicle tracking system
87	High-Latency, Low-Bandwidth Windowing in the Jupiter Collaboration System David A. Nichols, Pavel Curtis, Michael Dixon, and John Lamping Xerox PARC 3333 Coyote Hill Rd. Add to Reading List Source URL: lively-kernel.org Language: English - Date: 2014-02-05 13:59:57 Software Computing System software Application programming interfaces Remote desktop Graphical user interfaces Widget toolkits Windowing system Xlib X Window System core protocol X Window System Clientserver model
88	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
89	Bachelor Projects in the HIPERFIT Research Center Developing and Improving the “HIPERFIT Portfolio Management Prototype” The “HIPERFIT Portfolio Management Prototype” is a System for Managing and Pricing Portfoli Add to Reading List Source URL: hiperfit.dk Language: English - Date: 2016-03-31 07:17:13 Software engineering Computing Computer programming Array programming languages Functional languages APL programming language family Object-oriented programming languages University of Copenhagen UCPH Department of Computer Science APL Automatic parallelization Functional programming
90	Olympiads in Informatics, 2009, Vol. 3, 60–66 © 2009 Institute of Mathematics and Informatics, Vilnius 60 Moe – Design of a Modular Grading System Add to Reading List Source URL: mj.ucw.cz Language: English - Date: 2009-06-30 04:20:46 Computer architecture System software Software Sandbox Modular programming Kernel Loadable kernel module Moe